Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
191	This article was downloaded by: [Princeton University] On: 21 March 2013, At: 07:43 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37-41 Mor Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-03-21 10:47:10 Mind Reasoning Non-classical logic Behavioural sciences Non-monotonic logic Belief revision Assertion Mental model Psychology Science Ethology Logic
192	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:51 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
193	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
194	Two, Many, And Diﬀerently Many Diderik Batens∗ Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-11-07 13:08:11 Non-classical logic Paraconsistent logic Semantics Philosophical logic Many-valued logic Interpretation Valuation Relevance logic Propositional calculus Logic Mathematical logic Model theory
195	Alleged Assassins Bjørn Jespersen & Giuseppe Primiero Department of Computer Science, Technical University of Ostrava & Department of Logic, Czech Academy of Sciences, Prague FWO & Centre for Logic and Philosophy of Sci Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-03 05:47:29 Modal logic Non-classical logic Transparent Intensional Logic Intensional logic Logic Philosophical logic Science
196	Some Adaptive Contributions to Logics of Formal Inconsistency Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-08-18 12:36:21 Paraconsistent logic Philosophical logic Propositional calculus Deduction Entailment Non-monotonic logic Negation Newton da Costa Disjunctive syllogism Logic Mathematical logic Non-classical logic
197	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
198	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism
199	´e§ Peter Verde Inge De Bal¶ A new approach to classical relevance Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-12-20 10:14:17 Non-classical logic Binary operations Relevance logic Material conditional Vacuous truth Paradoxes of material implication Entailment Relevance Negation Logic Propositional calculus Philosophical logic
200	Background Description Logic Systems U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:14:36 Health Mononegavirales Philosophy of mathematics Philosophical logic Rabies Is-a Modal logic Description logic Classifier Logic Science Non-classical logic

UPDATE